-
1 generality quantifier
universal quantifier — всеобщий квантор, квантор общности
-
2 generality quantifier
universal quantifier — всеобщий квантор, квантор общности
English-Russian big polytechnic dictionary > generality quantifier
-
3 generality quantifier
universal quantifier — всеобщий квантор, квантор общности
The English-Russian dictionary general scientific > generality quantifier
-
4 generality quantifier
Большой англо-русский и русско-английский словарь > generality quantifier
-
5 generality quantifier
-
6 generality quantifier
1) Техника: квантор всеобщности2) Математика: квантор общности -
7 generality quantifier
English-Russian dictionary of computer science and programming > generality quantifier
-
8 quantifier
1) квантор
2) кванторный
– bounded quantifier
– existence quantifier
– existential quantifier
– generality quantifier
– notchless quantifier -
9 generality
1) неопределенность
2) всеобщность
3) массовость
4) общие замечания
5) общая часть
– generality quantifier
– preserve generality
without losing generality — не нарушая общности, не теряя общности
without loss of generality — без потери общности, без ущерба для общности
-
10 generality
1. n утверждение общего характера2. n общие местаto come down from generalities to particulars — переходить от общих рассуждений к конкретным вопросам
3. n неопределённость4. n общность; всеобщность, применимость ко всему или ко всем5. n большинство; большая частьthe generality of men — большинство людей, большая часть человечества
Синонимический ряд:1. abstraction (noun) abstraction; generalization; universality2. notion (noun) concept; hypothesis; idea; mock-up; notion; theory; thoughtАнтонимический ряд: -
11 quantifier
English-Russian dictionary of computer science and programming > quantifier
-
12 quantifier
1. n лог. мат. кванторuniversal quantifier — всеобщий квантор, квантор общности
2. n лингв. квантификатор, кванторное слово -
13 quantifier
universal quantifier — всеобщий квантор, квантор общности
English-Russian dictionary of Information technology > quantifier
-
14 quantifier
universal quantifier — всеобщий квантор, квантор общности
-
15 quantifier
universal quantifier — всеобщий квантор, квантор общности
The English-Russian dictionary general scientific > quantifier
-
16 quantifier
-
17 generality
-
18 generality [universal] quantifier
Англо-русский словарь технических терминов > generality [universal] quantifier
-
19 bounded quantifier
universal quantifier — всеобщий квантор, квантор общности
-
20 existential quantifier
universal quantifier — всеобщий квантор, квантор общности
English-Russian dictionary of Information technology > existential quantifier
См. также в других словарях:
generality quantifier — bendrumo kvantorius statusas T sritis automatika atitikmenys: angl. generality quantifier vok. Generalisator, m; Quantor der Allgemeinheit, m rus. квантор общности, m pranc. quantifier universel, m … Automatikos terminų žodynas
quantifier universel — bendrumo kvantorius statusas T sritis automatika atitikmenys: angl. generality quantifier vok. Generalisator, m; Quantor der Allgemeinheit, m rus. квантор общности, m pranc. quantifier universel, m … Automatikos terminų žodynas
Problem of multiple generality — The problem of multiple generality names a failure in traditional logic to describe certain intuitively valid inferences. For example, it is intuitively clear that if:: Some cat is feared by every mouse then it follows logically that:: All mice… … Wikipedia
Generalisator — bendrumo kvantorius statusas T sritis automatika atitikmenys: angl. generality quantifier vok. Generalisator, m; Quantor der Allgemeinheit, m rus. квантор общности, m pranc. quantifier universel, m … Automatikos terminų žodynas
Quantor der Allgemeinheit — bendrumo kvantorius statusas T sritis automatika atitikmenys: angl. generality quantifier vok. Generalisator, m; Quantor der Allgemeinheit, m rus. квантор общности, m pranc. quantifier universel, m … Automatikos terminų žodynas
bendrumo kvantorius — statusas T sritis automatika atitikmenys: angl. generality quantifier vok. Generalisator, m; Quantor der Allgemeinheit, m rus. квантор общности, m pranc. quantifier universel, m … Automatikos terminų žodynas
квантор общности — bendrumo kvantorius statusas T sritis automatika atitikmenys: angl. generality quantifier vok. Generalisator, m; Quantor der Allgemeinheit, m rus. квантор общности, m pranc. quantifier universel, m … Automatikos terminų žodynas
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Donkey pronoun — A donkey pronoun is a pronoun that is bound in semantics but not syntax.[1][2] Some writers prefer the term donkey anaphora, since it is the referential aspects and discourse or syntactic context that are of interest to researchers (see anaphora) … Wikipedia
Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… … History of philosophy
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
